Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
نویسندگان
چکیده
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language SaveCCM and provides efficient model-checking by using partial-order reduction techniques that exploits the structure and the component behavior of the model. UPPAAL PORT is implemented as an extension of the verification engine in the UPPAAL tool. The tool can be used as back-end in to the Eclipse based SaveCCM integrated development environment, which supports user friendly editing, simulation, and verification of models.
منابع مشابه
Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT
A system’s architecture influence on the functions and other properties of embedded systems makes its highlevel analysis and verification very desirable. EAST-ADL is an architecture description language dedicated to automotive embedded system design with focus on structural and functional modeling. The behavioral description is not integrated within the execution semantics, which makes it harde...
متن کاملModel-checking and Model-based Testing of Automotive Embedded Systems Starting from the System Architecture
Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a development process that takes into account their complex features. In this context, architectural models have been introduced in system development as convenient ab...
متن کاملAn Integrated Framework for Component-based Analysis of Architectural System Models
Verifying architectural models of embedded systems is desirable, since architecture can impact the performance and resource usage of the final system implementation. To fulfill this need, one could think of combining formal verification and testing to achieve proofs of system correctness with respect to functional and extra-functional requirements. Our first step to accomplish this goal has con...
متن کاملSyddansk Universitet Hardware-in-the-Loop Simulation of Component-Based Embedded Systems
The paper presents COMDES-II a software framework for distributed control systems. The framework provides for systematic top-down specification of distributed applications: a system is conceived as a composition of embedded actors that communicate transparently by exchanging labeled messages (signals), and actors are composed from reusable executable components (function blocks). The framework ...
متن کاملModel-based Verification and Validation of an Autonomous Vehicle System
The software development for Cyber-Physical Systems (CPS), e.g., autonomous vehicles, requires both functional and non-functional quality assurance to guarantee that the CPS operates safely and effectively. EAST-ADL is a domain specific architectural language dedicated to safety-critical automotive embedded system design. We have previously modified EAST-ADL to include energy constraints and tr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008